@Anno([<caret>],
    [2],
)
class A

// IGNORE_FORMATTER